大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Land- en Volkenkunde (Netherlands) 的图书(共485本)

Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Hatcliff、 John.、Zucca、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Clarke、 Dave.、Agha、 Gul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Aspects in Security and Trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

0
索取号：
作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

0
索取号：
作者：Monteiro、 Jos茅.、Leuken、 Ren茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Network Control and Optimization [electronic resource] : Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

0
索取号：
作者：N煤帽ez-Queija、 Rudesindo.、Resing、 Jacques.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Motion in Games [electronic resource] : Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009. Proceedings

0
索取号：
作者：Egges、 Arjan.、Geraerts、 Roland.、Overmars、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Engineering Societies in the Agents World X [electronic resource] : 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings

0
索取号：
作者：Aldewereld、 Huib.、Dignum、 Virginia.、Picard、 Gauthier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

0
索取号：
作者：Abran、 Alain.、Braungarten、 Ren茅.、Dumke、 Reiner R.、Cuadrado-Gallego、 Juan J.、Brunekreef、 Jacob.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Cavalcanti、 Ana.、Dams、 Dennis R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

0
索取号：
作者：N煤帽ez、 Manuel.、Baker、 Paul.、Merayo、 Mercedes G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Gibbons、 Jeremy.、Oliveira、 Jos茅 Nuno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

0
索取号：
作者：Koopman、 Pieter.、Plasmeijer、 Rinus.、Swierstra、 Doaitse.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Cook、 Byron.、Joubert、 Christophe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Intelligent Virtual Agents [electronic resource] : 9th International Conference, IVA 2009 Amsterdam, The Netherlands, September 14-16, 2009 Proceedings

0
索取号：
作者：Ruttkay、 Zs贸fia.、Kipp、 Michael.、Nijholt、 Anton.、Vilhj谩lmsson、 Hannes H枚gni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Euro-Par 2009 Parallel Processing [electronic resource] : 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings

0
索取号：
作者：Sips、 Henk.、Epema、 Dick.、Lin、 Hai-Xiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Grid Economics and Business Models [electronic resource] : 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings

0
索取号：
作者：Altmann、 J枚rn.、Buyya、 Rajkumar.、Rana、 Omer F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院